MDA Support for Constraint Checking Framework in EJB
نویسندگان
چکیده
Syntax Tree run attribute evaluator run LALR(1) parser Textual Constraints Concrete Syntax Tree Model constraints loaded [no evaluation errors] hasModelAndCst model loaded
منابع مشابه
Checking OCL Constraints in Distributed Systems using J2EE/EJB
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, code for runtime checking of components in J2EE/EJB is automatically generated. Thus, a UML–model for a component can be used in a black–box test for the component. Further we introduce different design patterns for EJBs...
متن کاملAn MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial software development, e.g., code generation. Overall, our toolchain provides support for software modeling using uml/ocl and guides the user from type-checking and model transformations to code generation and formal analy...
متن کاملTesting Distributed Component Based Systems Using UML/OCL
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, code for runtime checking of components in J2EE/EJB is automatically generated. Thus, a UML–model for a component can be used in a black–box test for the component. Further we introduce different design patterns for EJBs...
متن کاملEDOC to EJB transformations within MDA
The Model Driven Architecture is a proposition of the framework of software development process where main accent is put on system models, i.e. platform independent and platform dependent models, and transformations between them. Applying the MDA is related with preparation of these two types of assets. In the thesis, the EDOC and the EJB platform are considered as an examples of platform-indep...
متن کاملSimplifying the Development of Autonomic Enterprise Java Bean Applications via Model Driven Development
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. In theory, autonomic systems can minimize the impact of human error in system development and management. In practice, however, it is hard to develop the monitoring, analysis, planning, and execution aspects required for highly complex autonomic software systems...
متن کامل